<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: ControlflowAnalysis.cs File Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('_controlflow_analysis_8cs.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="summary">
<a href="#nested-classes">Classes</a> &#124;
<a href="#namespaces">Namespaces</a> &#124;
<a href="#enum-members">Enumerations</a>  </div>
  <div class="headertitle">
<div class="title">ControlflowAnalysis.cs File Reference</div>  </div>
</div><!--header-->
<div class="contents">

<p><a href="_controlflow_analysis_8cs_source.html">Go to the source code of this file.</a></p>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_instruction.html">SystemSharp.Analysis.IInstruction</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This interface associates instructions with a unique, 0-based indices  <a href="interface_system_sharp_1_1_analysis_1_1_i_instruction.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_instruction_resource.html">SystemSharp.Analysis.IInstructionResource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract representation of a resource which might be accessed by an instruction  <a href="interface_system_sharp_1_1_analysis_1_1_i_instruction_resource.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_instruction_info_3_01_ti_01_4.html">SystemSharp.Analysis.IInstructionInfo&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Generic interface for services classifying instructions of some type  <a href="interface_system_sharp_1_1_analysis_1_1_i_instruction_info_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_instruction_info_extensions.html">SystemSharp.Analysis.InstructionInfoExtensions</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_reference_info.html">SystemSharp.Analysis.ReferenceInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class captures information on instructions which reference memory locations (i.e. indirections)  <a href="class_system_sharp_1_1_analysis_1_1_reference_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_extended_instruction_info_3_01_ti_01_4.html">SystemSharp.Analysis.IExtendedInstructionInfo&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">An extended instruction information service, supporting information on instructions dealing with memory locations  <a href="interface_system_sharp_1_1_analysis_1_1_i_extended_instruction_info_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_control_flow_graph_3_01_ti_01_4.html">SystemSharp.Analysis.ControlFlowGraph&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This data structure represents a control-flow graph  <a href="class_system_sharp_1_1_analysis_1_1_control_flow_graph_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_basic_block_3_01_ti_01_4.html">SystemSharp.Analysis.BasicBlock&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class represents a basic block.  <a href="class_system_sharp_1_1_analysis_1_1_basic_block_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
Namespaces</h2></td></tr>
<tr class="memitem:namespace_system_sharp_1_1_analysis"><td class="memItemLeft" align="right" valign="top">package &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html">SystemSharp.Analysis</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="enum-members"></a>
Enumerations</h2></td></tr>
<tr class="memitem:a07cc6c00d393e2c4e350d74e0d9804c2"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2">SystemSharp.Analysis.EInstructionClass</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2adacdb83ade6c4e8878717e206175dfd8">SystemSharp.Analysis.EInstructionClass.Branch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2a003ad240907f30f029b30e4afbbb0e6d">SystemSharp.Analysis.EInstructionClass.LocalVariableAccess</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2ac3755e61202abd74da5885d2e9c9160e">SystemSharp.Analysis.EInstructionClass.Call</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2a6311ae17c1ee52b36e68aaf4ad066387">SystemSharp.Analysis.EInstructionClass.Other</a>
 }</td></tr>
<tr class="memdesc:a07cc6c00d393e2c4e350d74e0d9804c2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies instructions into categories  <a href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2">More...</a><br/></td></tr>
<tr class="separator:a07cc6c00d393e2c4e350d74e0d9804c2"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae5c60204e0a023c83ac9abaf2bf3c6e1"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1">SystemSharp.Analysis.EBranchBehavior</a> { <br/>
&#160;&#160;<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1ac7a99bc13d9a899dad0e6372da96d3ac">SystemSharp.Analysis.EBranchBehavior.NoBranch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a5ee075c892e8b140f5c5ffdccb27b28b">SystemSharp.Analysis.EBranchBehavior.UBranch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a4a7aa8e5bec284d6af34bd57ce4e9ea6">SystemSharp.Analysis.EBranchBehavior.CBranch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1abbc155fb2b111bf61c4f5ff892915e6b">SystemSharp.Analysis.EBranchBehavior.Switch</a>, 
<br/>
&#160;&#160;<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a988fd738de9c6d177440c5dcf69e73ce">SystemSharp.Analysis.EBranchBehavior.Return</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a8ce61dd2505effd96f937fa743b6491f">SystemSharp.Analysis.EBranchBehavior.Throw</a>
<br/>
 }</td></tr>
<tr class="memdesc:ae5c60204e0a023c83ac9abaf2bf3c6e1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies branch instructions into categories  <a href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1">More...</a><br/></td></tr>
<tr class="separator:ae5c60204e0a023c83ac9abaf2bf3c6e1"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a5ebdc38449ace206f5d7a926a47adb48"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48">SystemSharp.Analysis.ELocalVariableAccess</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a88a12f09800c497f30b98781952b50f2">SystemSharp.Analysis.ELocalVariableAccess.NoAccess</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a99302f479550c659a7461577136d7fa6">SystemSharp.Analysis.ELocalVariableAccess.ReadVariable</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a114757c38419c9fc8c3811768d549204">SystemSharp.Analysis.ELocalVariableAccess.WriteVariable</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a33b51eacb1cd95814bc38547576081ee">SystemSharp.Analysis.ELocalVariableAccess.AddressOfVariable</a>
 }</td></tr>
<tr class="memdesc:a5ebdc38449ace206f5d7a926a47adb48"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies local variable access instructions into categories  <a href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48">More...</a><br/></td></tr>
<tr class="separator:a5ebdc38449ace206f5d7a926a47adb48"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a297a1358d9e61ee4fce1cae42d391a11"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11">SystemSharp.Analysis.EInstructionResourceAccess</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11a81e124c25b261c366509c30962a4a7fd">SystemSharp.Analysis.EInstructionResourceAccess.NoResource</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11a26fccddf2f94b1685b184267996e10f8">SystemSharp.Analysis.EInstructionResourceAccess.Reading</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11aaf96ab416602c6852b1ba5201feaacf6">SystemSharp.Analysis.EInstructionResourceAccess.Writing</a>
 }</td></tr>
<tr class="memdesc:a297a1358d9e61ee4fce1cae42d391a11"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies resource accesses into categories  <a href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11">More...</a><br/></td></tr>
<tr class="separator:a297a1358d9e61ee4fce1cae42d391a11"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_bb5e995590685548b7e11478911ee7c3.html">SystemSharp-Google-SVN</a></li><li class="navelem"><a class="el" href="dir_8deefa4467a62b572b52d238d562b104.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_0e5a72156f8560bbc472a395da2569d6.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_9d3c30b4336bd92c64ccf0aeee487ace.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_d5bda8a155622a5a3d520660116af4c1.html">Analysis</a></li><li class="navelem"><a class="el" href="_controlflow_analysis_8cs.html">ControlflowAnalysis.cs</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:46 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
